Stefan Hallerstede: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Embedded System Design Using Formal Model Refinement:An Approach Based on the Combined Use of UML and the B Language

Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Konstantinos Masselos

Journal:

Design Automation for Embedded Systems

Year:

2004

Language:

english

File:

PDF, 1.31 MB

english, 2004

2

Akzeptanzorientiertes Application Lifecycle Management

Dipl.-Kfm. Stefan H. Hallerstede…

Journal:

HMD Praxis der Wirtschaftsinformatik

Year:

2011

Language:

german

File:

PDF, 155 KB

german, 2011

3

Managing the Lifecycle of Open Innovation Platforms || Functions of open innovation intermediaries

Hallerstede, Stefan H.

Year:

2013

Language:

english

File:

PDF, 298 KB

english, 2013

4

UML-B Specification for Proven Embedded Systems Design || U2B

Bernin, Fredrik, Butler, Michael, Cansell, Dominique, Hallerstede, Stefan, Kronlöf, Klaus, Krupp, Alexander, Lecomte, Thierry, Lundell, Michael, Lundkvist, Ola, Marchetti, Michele, Mueller, Wolfgang,

Year:

2004

Language:

english

File:

PDF, 2.20 MB

english, 2004

5

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Interleaving Symbolic Execution and Partial Evaluation

Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 340 KB

english, 2010

6

A Model-Based Approach for Requirements Engineering for Systems of Systems

Holt, Jon, Perry, Simon, Payne, Richard, Bryans, Jeremy, Hallerstede, Stefan, Hansen, Finn Overgaard

Journal:

IEEE Systems Journal

Year:

2015

Language:

english

File:

PDF, 399 KB

english, 2015

7

Proving Quicksort Correct in Event-B

Stefan Hallerstede

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 329 KB

english, 2009

8

Performance analysis of probabilistic action systems

Stefan Hallerstede, Michael Butler

Journal:

Formal Aspects of Computing

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

9

On the purpose of Event-B proof obligations

Stefan Hallerstede

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 227 KB

english, 2011

10

Experiments in program verification using Event-B

Stefan Hallerstede, Michael Leuschel

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

11

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 473 KB

english, 2010

12

[IEEE 2012 7th International Conference on System of Systems Engineering (SoSE) - Genova (2012.07.16-2012.07.19)] 2012 7th International Conference on System of Systems Engineering (SoSE) - Model-based requirements engineering for system of systems

Holt, Jon, Perry, Simon, Brownsword, Mike, Cancila, Daniela, Hallerstede, Stefan, Hansen, Finn Overgaard

Year:

2012

Language:

english

File:

PDF, 650 KB

english, 2012

13

Managing the Lifecycle of Open Innovation Platforms ||

Hallerstede, Stefan H.

Year:

2013

Language:

english

File:

PDF, 3.78 MB

english, 2013

14

Validation of formal models by refinement animation

Hallerstede, Stefan, Leuschel, Michael, Plagge, Daniel

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 1.59 MB

english, 2013

15

A method and tool for tracing requirements into specifications

Hallerstede, Stefan, Jastram, Michael, Ladenberger, Lukas

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 774 KB

english, 2014

16

Refinement of decomposed models by interface instantiation

Hallerstede, Stefan, Hoang, Thai Son

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.01 MB

english, 2014

17

[IEEE 2012 7th International Conference on System of Systems Engineering (SoSE) - Genova (2012.07.16-2012.07.19)] 2012 7th International Conference on System of Systems Engineering (SoSE) - Technical challenges of SoS requirements engineering

Hallerstede, Stefan, Hansen, Finn Overgaard, Holt, Jon, Lauritsen, Rasmus, Lorenzen, Lasse, Peleska, Jan

Year:

2012

Language:

english

File:

PDF, 315 KB

english, 2012

18

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 ||

de Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 5.60 MB

english, 2010

19

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 6286 || Property-Based Testing - The ProTest Project

de Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael

Year:

2010

Language:

english

File:

PDF, 206 KB

english, 2010

20

Managing the lifecycle of online innovation contests - a case study on an innovation intermediary's approach

Hallerstede, Stefan H., Bullinger, Angelika C.

Journal:

International Journal of Technology Marketing

Year:

2014

Language:

english

File:

PDF, 220 KB

english, 2014

21

Constraint-based deadlock checking of high-level specifications

HALLERSTEDE, STEFAN, LEUSCHEL, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 354 KB

english, 2011

22

The correctness of event-B inductive convergence

Hallerstede, Stefan

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 771 KB

english, 2016

23

Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL

Hallerstede, Stefan

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 297 KB

english, 2018